$\forall$$T$:Type, ${\it as}$:$T$ List, $f$, $g$:($T$$\rightarrow\mathbb{B}$). $\neg$isl(priority{-}select($f$;$g$;${\it as}$)) $\Leftrightarrow$ ($\forall$$a$$\in$${\it as}$. $\neg$$f$($a$) \& $\neg$$g$($a$))